On the Composition of Condition/event Systems
نویسندگان
چکیده
In this paper, several aspects of the composition of discrete state condition/event systems according to Sreenivas and Krogh are discussed. We introduce a new composition operator called parallel interconnection. It is shown to be a generalization of the originally defined cascade and feedback operators. Based on this composition operator, a modular refinement rule is presented which can be used to prove that a parallel interconnection of condition/event systems refines a given other one.
منابع مشابه
Decentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملInfluence of Body Condition Score on Yield and Composition of Milk in Crossbred Dairy Cows
The study was carried out for a period of 150 days on 120 Holstein Friesian crossbred dairy cows between mid to late lactation to quantify the influence of body condition score (BCS) on yield and composition of milk. Total 12 dairy farms having same housing systems and holding at least 20 crossbred dairy cows per farm between mid to late lactation were selected for this study purposes. BCS of i...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملSome new families of definite polynomials and the composition conjectures
The planar polynomial vector fields with a center at the origin can be written as an scalar differential equation, for example Abel equation. If the coefficients of an Abel equation satisfy the composition condition, then the Abel equation has a center at the origin. Also the composition condition is sufficient for vanishing the first order moments of the coefficients. The composition conjectur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998